A fast APRIORI implementation Ferenc Bodon∗ Informatics Laboratory, Computer and Automation Research Institute, Hungarian Academy of Sciences H-1111 Budapest, L´agym´anyosi u. 11, Hungary

Source URL: sunsite.informatik.rwth-aachen.de

Model Checking Infinite State Spaces Javier Esparza Laboratory for Foundations of Computer Science School of Informatics University of Edinburgh

Source URL: www7.in.tum.de

Technical University of Denmark Department of Informatics and Mathematical Modelling The Royal Institute of Technology Telecommunication Systems Laboratory Sven Bugiel

Source URL: www.infsec.cs.uni-saarland.de

Linear Equational Tree Logic Linear Equational Dag Logic An Equational Logic for PROPs Gordon Plotkin Laboratory for the Foundations of Computer Science, School of Informatics,

Source URL: www.pps.univ-paris-diderot.fr

Minimally Unsatisfiable Boolean Circuits Anton Belov and Joao Marques-Silva Complex and Adaptive Systems Laboratory School of Computer Science and Informatics University College Dublin, Ireland

Source URL: anton.belov-mcdowell.com

Professor Efstratios Gallopoulos Biographical Narrative Professor at the Computer Engineering & Informatics Dept. (CEID). Acting Director of the High Performance Information Systems Laboratory. Director of the Software

Source URL: scgroup.hpclab.ceid.upatras.gr

• Yousef Saad
• Association for Computing Machinery
• Academia
• Numerical linear algebra
• Computer science
• Structure
• Ahmed Sameh

Accelerating MUS Extraction with Recursive Model Rotation Anton Belov and Joao Marques-Silva Complex and Adaptive Systems Laboratory School of Computer Science and Informatics

Source URL: anton.belov-mcdowell.com

QUASI-HIERARCHICAL, INTERACTIVE NAVIGATION OF IMAGES AND META-DATA IN THE OPEN MICROSCOPY ENVIRONMENT Harry Hochheiser and Ilya G. Goldberg Image Informatics and Computational Biology Unit, Laboratory of Genetics, Nation

Source URL: www.openmicroscopy.org

Enhancing Mobile Data Offloading with Mobility Prediction and Prefetching Vasilios A. Siris and Dimitrios Kalyvas Mobile Multimedia Laboratory, Department of Informatics Athens University of Economics and Business, Greec

Source URL: mm.aueb.gr

Faculty of Electrical Engineering and Informatics IMPORTANT NOTES If for one subject you can find several different types (lecture, practice, laboratory) of courses then please choose one and only one course from each ty

Source URL: www.kth.bme.hu